Justifying Definitions in Mathematics—Going Beyond Lakatos
نویسنده
چکیده
This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos’s proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world-justification, condition-justification and redundancyjustification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos’s ideas are limited: they fail to show that various kinds of justification can be found and can be reasonable, and they fail to acknowledge the interplay between the different kinds of justification.
منابع مشابه
Applying Lakatos-style reasoning to AI problems
One current direction in AI research is to focus on combining different reasoning styles such as deduction, induction, abduction, analogical reasoning, non-monotonic reasoning, vague and uncertain reasoning. The philosopher Imre Lakatos produced one such theory of how people with different reasoning styles collaborate to develop mathematical ideas. Lakatos argued that mathematics is a quasi-emp...
متن کاملLakatos ' S Philosophy of Mathematics
1. In November of 1956, at the age of 31, Imre Lakatos left Hungary, going first to Vienna and then to Kings College, Cambridge, as a Ph.D. student. For his thesis he chose the topic of mathematical discovery and, at the suggestion of the Hungarian mathematician George Poly?, he based his research on an historical case study; the development of a conjecture, due to Euler, about polyhedra. This ...
متن کاملSe p 20 07 Motif - based communities in complex networks
Community definitions usually focus on edges, inside and between the communities. However, the high density of edges within a community determines correlations between nodes going beyond nearest-neighbours, and which are indicated by the presence of motifs. We show how motifs can be used to define general classes of nodes, including communities, by extending the mathematical expression of Newma...
متن کاملنقش فضیلت سازمانی و رفتار شهروندی سازمانی در شجاعت اخلاقی حرفهای
The aim of this study is to examine the role of organizational virtuousness and organizational citizenship behavior in employees’ professional moral courage. The Statistical population consisted of all employees in the Isfahan Tele Communication in 2011. From this population, 141 employees were selected using simple random sampling. Data was collected through administration of scales of organiz...
متن کاملProofs and refutations in the undergraduate mathematics classroom
In his 1976 book, Proofs and Refutations, Lakatos presents a collection of case studies to illustrate methods of mathematical discovery in the history of mathematics. In this paper, we reframe these methods in ways that we have found make them more amenable for use as a framework for research on learning and teaching mathematics. We present an episode from an undergraduate abstract algebra clas...
متن کامل